Testing Component-Based Systems Using FSMs
نویسندگان
چکیده
No matter which tools, techniques, and methodologies are used for software development, it remains an error-prone process. Nevertheless, changing such important constituents of the software process surely has an effect on the types of faults inherent in the developed software. For instance, some types of faults are typical for structured development, whereas others are typical for object-oriented development. This chapter explores the question of whether component-based software requires new testing techniques, and proposes an integrated testing technique. This technique integrates various tasks during testing component-based software: whiteand black-box testing of the main component (i.e., the top level component controlling the other components), black-box testing of components, black-box testing of the middleware and integration testing of the main component with other components. Benefits of this technique are shown using a real-world example: the technique is automatable and applicable to existing component-based software.
منابع مشابه
An Eclipse-based environment for conformance testing by FSMs
Finite state machines (FSMs) represent a very simple yet widely used formalism. They are used to model simple protocols or even complex systems in an abstract way. Java classes often behave like FSMs. For these reasons, FSMs are often used in conformance testing, which consists in checking that a real implementation conforms with its speci cation given in terms of a FSM. In this paper, we show ...
متن کاملAdaptation of State/Transition-Based Methods for Embedded System Testing
In this paper test generation methods and appropriate fault models for testing and analysis of embedded systems described as (extended) finite state machines ((E)FSMs) are presented. Compared to simple FSMs, EFSMs specify not only the control flow but also the data flow. Thus, we define a two-level fault model to cover both aspects. The goal of this paper is to reuse well-known FSM-based test g...
متن کاملIfi Technical Reports
In this paper test generation methods and appropriate fault models for testing and analysis of embedded systems described as (extended) finite state machines ((E)FSMs) are presented. Compared to simple FSMs, EFSMs specify not only the control flow but also the data flow. Thus, we define a two-level fault model to cover both aspects. The goal of this paper is to reuse well-known FSM-based test g...
متن کاملApplying Conventional Testing Techniques for Class Testing - Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th Internation
This paper discusses how conventional testing criteria such as branch coverage can be applied fo r the testing of member functions inside a class. To support such testing techniques we employ symbolic execution techniques and finite state machines(FSMs). Symbolic execution is performed on the code of a member functzon to identify states that are required t o fulfill a given criterion. We use FS...
متن کاملApplying Extended Finite State Machines in Software Testing of Interactive Systems
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has been commonly used in testing of interactive systems, where the used model represents the system behavior reacting to user’s actions. Finite State Machines (FSMs) are one of the most used modeling techniques for MBT. H...
متن کامل